$\forall$${\it es}$:ES, $A$:Type. AbsInterface($A$) $\in$ Type